Перевод: со всех языков на все языки

со всех языков на все языки

to deduce an inference

См. также в других словарях:

  • deduce — 01. It is important to learn a process which will help you to [deduce] the meaning of new vocabulary from context. 02. The detectives were able to [deduce] valuable information about the killer through careful examination of the murder scene. 03 …   Grammatical examples in English

  • deduce — Synonyms and related words: analyze, apply reason, arouse, assume, be afraid, believe, bring forth, bring out, bring to light, call forth, call out, call up, cogitate, collect, conceive, conclude, consider, daresay, deduct, deem, derive, divine,… …   Moby Thesaurus

  • Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …   Wikipedia

  • draw an inference — index construe (comprehend), derive (deduce), gauge, infer, presuppose Burton s Legal Thesaurus. William C. Burton …   Law dictionary

  • construe — construer, n. v. /keuhn strooh / or, esp. Brit., /kon strooh/; n. /kon strooh/, v., construed, construing, n. v.t. 1. to give the meaning or intention of; explain; interpret. 2. to deduce by inference or interpretation; infer: He construed her… …   Universalium

  • construe — con•strue v. [[t]kənˈstru[/t]] esp. brit. [[t]ˈkɒn stru[/t]] n. [[t]ˈkɒn stru[/t]] v. strued, stru•ing, n. 1) to give or explain the meaning or intention of; interpret 2) to deduce by inference or interpretation; infer 3) gram. to analyze the… …   From formal English to slang

  • Scientific method — …   Wikipedia

  • infer — I (New American Roget s College Thesaurus) v. t. gather, reason, deduce, conclude, opine; presume; construe. See reasoning. II (Roget s IV) v. 1. [To reach a conclusion] Syn. conclude, deduce, gather, judge, come to the conclusion that, draw the… …   English dictionary for students

  • infer — infer, deduce, conclude, judge, gather are comparable when they mean to arrive at by reasoning from evidence or from premises. All except gather are so clearly differentiated in logical use that these distinctions tend to be retained in general… …   New Dictionary of Synonyms

  • Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …   Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»